f-event{$x:ut2}
f-event(es; L; e)
== (loc(e)  L) c ((es-after(es; mkid{$x:ut2}; e) = es-when(es; mkid{$x:ut2}; e))) 

latex

---

clarification:

f-event{$x:ut2}
f-event(es; L; e)
== (es-loc(es; e)  L  Id)
== c ((es-after(es; mkid{$x:ut2}; e) = es-when(es; mkid{$x:ut2}; e)  Id)) 

latex

Definitions	A c B, (x  l), loc(e), A, s = t, Id, es-after(es; x; e), es-when(es; x; e), mkid{$x:ut2}
FDL editor aliases	f-event